CatDat

Implication Details

Assumptions: cosifted limitsself-dual

Conclusions: sifted colimits

Reason: This holds by self-duality.